3161. Techniques of Program Structure and design
پدیدآورنده: / Edward Yourdon
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Electronic digital computers - Programming
رده :
001
.
642
Y81t
3162. Techniques of program structure and design
پدیدآورنده: / Edward Yourdon
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Electronic digital computers -- Programming
رده :
QA
76
.
6
.
Y68
3163. Techniques of program structure and design
پدیدآورنده: Yourdon, Edward
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Electronic digetal computers- Programming
رده :
005
Y81t
3164. Techniques of program structure and design
پدیدآورنده: Yourdon, Edward
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Electronic digetal computers- Programming
رده :
005
Y81t
3165. Techniques of program structure and design
پدیدآورنده: Yourdon, Edward
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Electronic digetal computers- Programming
رده :
005
Y81t
3166. Technology + culture = software
پدیدآورنده: Rocchi, Paolo
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Programming )Electronic computers(,، Software engineering
رده :
QA
76
.
6
.
R64
2000
3167. Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
T4414
1994
3168. Temporal logic : mathematical foundations and computational aspects
پدیدآورنده: Gabbay, Dov M.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Electronic digital computers - Programming , Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
G27
1994
3169. Temporal logic of programs
پدیدآورنده: / Fred Kroger
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Electronic digital computers -- Programming,Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
3170. Temporal logic of programs
پدیدآورنده: Kroger, Fred
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
3171. Temporal logic of programs
پدیدآورنده: KROGER,FRED
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
6
.
K753
3172. Temporal logic of programs
پدیدآورنده: Kroger, Fred
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
3173. Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group
پدیدآورنده: editors, J.W. de Bakker and J.J.M.M. Rutten
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Parallel programming )Computer science( - Congresses , Programming languages )Electronic computers( - Semantics - Congresses
رده :
QA
76
.
642
.
T45
1992
3174. The Agent Modeling Language--AML
پدیدآورنده: / Radovan Cervenka, Ivan Trencansky
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Intelligent agents (Computer software),Computer software--Development,Programming languages (Electronic computers)
رده :
QA
,
76
.
76
,.
I58
,
C47
,
2007
3175. The Art of Modelling Computational Systems :
پدیدآورنده: Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer security.,Programming languages (Electronic computers),Computer security.,Programming languages (Electronic computers)
رده :
QA76
.
7
.
A78
2019
3176. The Art of computer programming
پدیدآورنده: / Donald Ervin Knuth
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Electronic digital computers-- programming
رده :
QA
76
.
6
.
K64
3177. The C answer book :
پدیدآورنده: Clovis L. Tondo, Scott E. Gimpel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: C (Computer program language), Problems, exercises, etc.,Programming languages (Electronic computers)
3178. The Computer programmer's dictionary and handbook
پدیدآورنده: Spencer, Donald D
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Dictionaries ، Programming )Electronic computers(,Machines - Dictionaries ، Electronic data processing
رده :
QA
76
.
15
.
S65
3179. The Craft of programming
پدیدآورنده: Reynolds, John C
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming ، Electronic digital computers
رده :
QA
76
.
6
.
R47
3180. The Elements of digital computer programming
پدیدآورنده: Reilly, Edwin D
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming ، Electronic digital computers
رده :
QA
76
.
5
.
R44
